منابع مشابه
Restoration of T cell tolerance in primary ITP
Primary immune thrombocytopenia (ITP) has been traditionally thought as an antibody-mediated autoimmune disease involving platelet destruction by macrophages in the reticuloendothelia system. More recently it has become obvious that ITP is a more complex disorder in which T cell mediated immunity plays important roles in platelet destruction. Antiplatelet autoantibody production is under the co...
متن کاملLenalidomide-Associated ITP
Lenalidomide is a potent immunomodulatory agent being used increasingly for treatment of hematologic malignancies including multiple myeloma and myelodysplasia. The common toxicities of lenalidomide, including dose-limiting myelosuppression, are well described. However, the immunomodulatory properties of lenalidomide may give rise to unexpected autoimmune complications. Herein, we describe a ca...
متن کاملA quick ITP tutorial
The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics. The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements.
متن کاملThe Itp Tool's Manual *
The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics. The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements. 1 Getting started To run the current version of the ...
متن کاملMaude ITP 2.0 Tutorial
The present tutorial describes the main features, commands, and proof techniques supported by the Maude ITP 2.0 inductive theorem
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Blood
سال: 2011
ISSN: 0006-4971,1528-0020
DOI: 10.1182/blood-2011-10-383893